ecl-add-catch(A;l)
== let Ta,ksa,ia,ga,ha,aa,ea = A in 
== <Ta
== ,ksa
== ,ia
== ,ga
== ,(n,x. deq-member(NatDeq;n;l)  ha(n,x)  n=0  reduce(m,b. ha(m,x)  b;false;l))
== ,aa
== ,list-diff(NatDeq;ea;l)> 

latex

Definitions	let a,b,c,d,e,f,g = u in v(a;b;c;d;e;f;g), b, deq-member(eq;x;L), p  q, i=j, reduce(f;k;as), p  q, false, list-diff(eq;as;bs), NatDeq
FDL editor aliases	ecl-add-catch